A verification framework for agent programming with declarative goals
نویسندگان
چکیده
منابع مشابه
A verification framework for agent programming with declarative goals
A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a link between agent logics and agent programming frameworks is identified and explained by the fact that agent programming frameworks have hardly incorporated the concept of a declarative goal. Instead, such frameworks ha...
متن کاملAgent Programming with Declarative Goals
A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a link between agent logics and agent programming frameworks is identified and explained by the fact that agent programming frameworks have not incorporated the concept of a declarative goal. Instead, such frameworks have ...
متن کاملDynamics of Declarative Goals in Agent Programming
In this paper, the notion of declarative goals as used in agent programming is central. Declarative goals describe desirable states and are updated during the execution of an agent. These goal dynamics are analyzed by distinguishing and formalizing various notions of goal dropping and goal adoption. Furthermore, possible motivations for an agent to drop or adopt goals are identified. Based on t...
متن کاملRational agents: prioritized goals, goal dynamics, and agent programming languages with declarative goals
. In AAMAS-09 (2009) 1155–1156 [9] Khan, S.M.: Agent Programming Languages with Declarative Goals : A Survey. Technical Report CSE-2007-07, York University, Toronto, ON, Canada, http://www.cse.yorku.ca/techreports/2007/ (2007) [10] Shapiro, S., Brewka, G.: Dynamic Interactions Between Goals and Beliefs. In IJCAI-07 (2007) 2625–2630
متن کاملAn Agent Program Logic with Declarative Goals
It has been argued that declarative goals provide for a natural conceptual tool for designing as well as programming agents. This has given rise to various proposals for integrating declarative goals into programming languages. It is not always clear, however, how to estahblish a precise relation to logical agent theories to reason about such agents. In this paper, we propose an agent programmi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2007
ISSN: 1570-8683
DOI: 10.1016/j.jal.2005.12.014